Complete Instantiation Strategy for Approximate Solution of TCSP

Authors: Arun K. Pujari, Priti Chandra

Research in Computing Science, Vol. 16, pp. 55-64, 2005.